From 0504328bd85cc674c011516e1442b3f50118e932 Mon Sep 17 00:00:00 2001 From: Carlos Soriano Date: Thu, 4 Dec 2014 16:21:46 +0100 Subject: [PATCH] gtkscale: Draw smaller marks As a design request, use smaller marks. https://bugzilla.gnome.org/show_bug.cgi?id=741117 --- gtk/gtkscale.c | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/gtk/gtkscale.c b/gtk/gtkscale.c index 8bef41c08e..aab6ac1e3c 100644 --- a/gtk/gtkscale.c +++ b/gtk/gtkscale.c @@ -890,16 +890,16 @@ gtk_scale_get_range_border (GtkRange *range, if (gtk_orientable_get_orientation (GTK_ORIENTABLE (scale)) == GTK_ORIENTATION_HORIZONTAL) { if (n1 > 0) - border->top += h1 + value_spacing + slider_width / 2; + border->top += h1 + value_spacing + slider_width / 4; if (n2 > 0) - border->bottom += h2 + value_spacing + slider_width / 2; + border->bottom += h2 + value_spacing + slider_width / 4; } else { if (n1 > 0) - border->left += w1 + value_spacing + slider_width / 2; + border->left += w1 + value_spacing + slider_width / 4; if (n2 > 0) - border->right += w2 + value_spacing + slider_width / 2; + border->right += w2 + value_spacing + slider_width / 4; } } } @@ -1162,14 +1162,14 @@ gtk_scale_draw (GtkWidget *widget, if (mark->position == GTK_POS_TOP) { y1 = range_rect.y; - y2 = y1 - slider_width / 2; + y2 = y1 - slider_width / 4; min_pos = min_pos_before; max_pos = find_next_pos (widget, m, marks + i, GTK_POS_TOP) - min_sep; } else { y1 = range_rect.y + range_rect.height; - y2 = y1 + slider_width / 2; + y2 = y1 + slider_width / 4; min_pos = min_pos_after; max_pos = find_next_pos (widget, m, marks + i, GTK_POS_BOTTOM) - min_sep; } @@ -1214,14 +1214,14 @@ gtk_scale_draw (GtkWidget *widget, if (mark->position == GTK_POS_TOP) { x1 = range_rect.x; - x2 = range_rect.x - slider_width / 2; + x2 = range_rect.x - slider_width / 4; min_pos = min_pos_before; max_pos = find_next_pos (widget, m, marks + i, GTK_POS_TOP) - min_sep; } else { x1 = range_rect.x + range_rect.width; - x2 = range_rect.x + range_rect.width + slider_width / 2; + x2 = range_rect.x + range_rect.width + slider_width / 4; min_pos = min_pos_after; max_pos = find_next_pos (widget, m, marks + i, GTK_POS_BOTTOM) - min_sep; } -- 2.30.2